prove string is immutable